| Home :: Operating Systems :: Extensible |
Extensible Operating Systems Brief description, and on-site links to descriptions of Choices, Exokernel, GLUnix, VINO, SPIN. http://www.cs.unm.edu/~riesen/prop/node26.html Synthetix Extensible technology for adaptive systems: researching tools, techniques to incrementally specialize OSs to optimize performance, meta-programming languages to let applications declare specialization needs to OSs, and to specialize distributed systems to enhance survivability via code diversity and specialized response to intrusion. http://www.cse.ogi.edu/DISC/projects/synthetix/ SPIN: Extensibility, Safety, and Performance in the SPIN Operating System Presents an extensible OS based on MIT Exokernel that can be dynamically specialized to meet the needs of individual app lications. http://http.cs.berkeley.edu/~gribble/osprelims/summaries/Spi nOS.html A Caching Model of Operating System Kernel Functionality Stanford Cache Kernel, supervisor-mode component of V++ OS; caches system objects (threads, address spaces) to raise performance; microkernel alternative, performance equals normal monolithic OSs, yet gives application-level control of system resources, more modularity, scalability, smaller size, means of fault containment. http://www-dsg.stanford.edu/papers/cachekernel/main.html Open Kernel Environment: OKE Lets non-root users load native, fully optimized code in kernels. OKE Corral: active network environment, lets 3rd-party code manage code organization at any level of nodes. LEGO-like model from MIT Click router. Description, papers, release page, contacts. [Open Source, GPL] http://www.liacs.nl/home/herbertb/projects/oke/ |
